<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>DifferentialTestsUtils (infer.UnitTests.DifferentialTestsUtils)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.1"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">UnitTests</a> &#x00BB; DifferentialTestsUtils</nav><header class="odoc-preamble"><h1>Module <code><span>UnitTests.DifferentialTestsUtils</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-create_fake_jsonbug"><a href="#val-create_fake_jsonbug" class="anchor"></a><code><span><span class="keyword">val</span> create_fake_jsonbug : 
  <span><span class="optlabel">?bug_type</span>:string <span class="arrow">&#45;&gt;</span></span>
  <span><span class="optlabel">?qualifier</span>:string <span class="arrow">&#45;&gt;</span></span>
  <span><span class="optlabel">?suggestion</span>:<span>string option</span> <span class="arrow">&#45;&gt;</span></span>
  <span><span class="optlabel">?severity</span>:string <span class="arrow">&#45;&gt;</span></span>
  <span><span class="optlabel">?category</span>:string <span class="arrow">&#45;&gt;</span></span>
  <span><span class="optlabel">?line</span>:int <span class="arrow">&#45;&gt;</span></span>
  <span><span class="optlabel">?column</span>:int <span class="arrow">&#45;&gt;</span></span>
  <span><span class="optlabel">?procedure</span>:string <span class="arrow">&#45;&gt;</span></span>
  <span><span class="optlabel">?procedure_start_line</span>:int <span class="arrow">&#45;&gt;</span></span>
  <span><span class="optlabel">?file</span>:string <span class="arrow">&#45;&gt;</span></span>
  <span><span class="optlabel">?bug_trace</span>:<span><a href="../../ATDGenerated/Jsonbug_t/index.html#type-json_trace_item">ATDGenerated.Jsonbug_t.json_trace_item</a> list</span> <span class="arrow">&#45;&gt;</span></span>
  <span><span class="optlabel">?key</span>:string <span class="arrow">&#45;&gt;</span></span>
  <span><span class="optlabel">?node_key</span>:<span>string option</span> <span class="arrow">&#45;&gt;</span></span>
  <span><span class="optlabel">?hash</span>:string <span class="arrow">&#45;&gt;</span></span>
  <span><span class="optlabel">?dotty</span>:<span>string option</span> <span class="arrow">&#45;&gt;</span></span>
  <span><span class="optlabel">?infer_source_loc</span>:<span><a href="../../ATDGenerated/Jsonbug_t/index.html#type-loc">ATDGenerated.Jsonbug_t.loc</a> option</span> <span class="arrow">&#45;&gt;</span></span>
  <span>unit <span class="arrow">&#45;&gt;</span></span>
  <a href="../../ATDGenerated/Jsonbug_t/index.html#type-jsonbug">ATDGenerated.Jsonbug_t.jsonbug</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pp_diff_of_list"><a href="#val-pp_diff_of_list" class="anchor"></a><code><span><span class="keyword">val</span> pp_diff_of_list : 
  <span><span class="label">pp</span>:<span>(<span><span class="xref-unresolved">IStdlib</span>.Pp.F.formatter <span class="arrow">&#45;&gt;</span></span> <span><span class="type-var">'a</span> <span class="arrow">&#45;&gt;</span></span> unit)</span> <span class="arrow">&#45;&gt;</span></span>
  <span>string <span class="arrow">&#45;&gt;</span></span>
  <span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">&#45;&gt;</span></span>
  <span><span>(<span><span class="type-var">'b</span> list</span> * <span><span class="type-var">'a</span> list</span>)</span> <span class="arrow">&#45;&gt;</span></span>
  unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pp_diff_of_string_list"><a href="#val-pp_diff_of_string_list" class="anchor"></a><code><span><span class="keyword">val</span> pp_diff_of_string_list : 
  <span>string <span class="arrow">&#45;&gt;</span></span>
  <span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">&#45;&gt;</span></span>
  <span><span>(<span>string list</span> * <span>string list</span>)</span> <span class="arrow">&#45;&gt;</span></span>
  unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-pp_diff_of_int_list"><a href="#val-pp_diff_of_int_list" class="anchor"></a><code><span><span class="keyword">val</span> pp_diff_of_int_list : 
  <span>string <span class="arrow">&#45;&gt;</span></span>
  <span><span class="xref-unresolved">Stdlib</span>.Format.formatter <span class="arrow">&#45;&gt;</span></span>
  <span><span>(<span>int list</span> * <span>int list</span>)</span> <span class="arrow">&#45;&gt;</span></span>
  unit</span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-sorted_hashes_of_issues"><a href="#val-sorted_hashes_of_issues" class="anchor"></a><code><span><span class="keyword">val</span> sorted_hashes_of_issues : 
  <span><a href="../../ATDGenerated/Jsonbug_t/index.html#type-report">ATDGenerated.Jsonbug_t.report</a> <span class="arrow">&#45;&gt;</span></span>
  <span><span class="xref-unresolved">IStdlib</span>.IStd.String.t list</span></span></code></div></div></div></body></html>
